Este erro parece ser um pequeno bug, o seu fornecedor de hardware pode ter fornecido uma atualização da bios que pode resolver o problema. Nesse meio tempo, se você não estiver tendo nenhum erro resultante, ele poderá ser ignorado. Caso contrário, tente adicionar as opções de inicialização noioapic ou nomodeset .