Sergej Ivanov:
I can reproduce this bug on Biostar AM1ML. I think this bug is ACPI related, if i add 'nosmp acpi=off' Ubuntu boots fine.
чт, 16 янв. 2020 г., 15:23 Paul Menzel pmenzel@molgen.mpg.de:
It’d be great, if you could test this on your coreboot boards, and report back. Adding `nosmp` to the Linux kernel command line, for example, by pressing e in the GRUB menu (and then Ctrl + x or F10 to boot) should be all that is needed.
Booting Debian 9 from USB stick on Lenovo G505s with nosmp results in it being unable to find the root file system device and getting dumped into BusyBox.