'acpi = off' resulta em 'BUG: não é possível manipular o dereference do ponteiro NULL do kernel'

Question

Antecedentes

Tenho recebido falhas espontâneas na minha máquina NixOS recém-construída. Estou experimentando diferentes opções de configuração para ver se consigo evitá-las.

Aqui está meu journalctl -b -1 -p 3 :

Jun 24 15:55:27 mus kernel: ACPI Error: Needed [Integer/String/Buffer], found [Region]         (ptrval) (20180105/exresop-424)
Jun 24 15:55:27 mus kernel: ACPI Error: AE_AML_OPERAND_TYPE, Could not execute arguments for [IOB2] (Region) (20180105/nsinit-426)
Jun 24 15:55:27 mus systemd-udevd[761]: Specified group 'render' unknown
Jun 24 15:55:27 mus systemd-udevd[761]: Specified group 'kvm' unknown
Jun 24 15:55:27 mus systemd-modules-load[755]: Failed to find module 'snd_pcm_oss'
Jun 24 16:08:12 mus pulseaudio[6069]: bind(): Address already in use
Jun 24 16:08:12 mus pulseaudio[6069]: Failed to load module "module-native-protocol-unix" (argument: ""): initialization failed.
Jun 24 16:08:12 mus pulseaudio[6069]: Module load failed.
Jun 24 16:08:12 mus pulseaudio[6069]: Failed to initialize daemon.
Jun 24 16:12:22 mus systemd-udevd[761]: Specified group 'render' unknown
Jun 24 16:12:22 mus systemd-udevd[761]: Specified group 'kvm' unknown

Os primeiros erros da ACPI são suspeitos, então eu tentei reiniciar com acpi=off no meu boot.kernelParams .

O erro

Infelizmente, esta configuração resulta em um erro nulo-deref no boot.

BUG: unable to handle kernel NULL pointer dereference at 0000000000000008

Screenshot completa

Eu não encontrei nenhuma opção ACPI na minha BIOS (mobo é ASUS Prime X470-Pro AMD Ryzen 2 AM4 DDR4 DP M.2 HDMI M 3.1 USB ATX). Então, talvez haja alguns problemas de compatibilidade que estão faltando.

Qual é o motivo pelo qual não consigo ativar acpi=off ?

Versões

Estou no kernel do Linux 4.16.17 e no NixOS 18.03.