Minha configuração de inicialização do grub tinha acpi = off na lista de parâmetros de inicialização do kernel. Alterou isso para acpi = on. Eu originalmente tive que desligar o acpi ao usar o live cd para instalar esta versão do Linux, porque ele não inicializaria neste laptop a partir da lista padrão de parâmetros de inicialização do kernel do live cd.