Consegui resolver o problema indo ao site do fabricante do meu computador e atualizando a atualização mais recente do BIOS. Eu digo "reflashing" porque quando eu comprei o computador há cerca de um mês, a atualização mais recente do BIOS foi a primeira coisa que fiz. Não houve uma nova atualização lançada desde então, então eu realmente não atualizei, mas sim, reinstalei.