In meinem Fall hatte ich XEN von AUR unter Arch Linux installiert und das Problem trat nach dem Upgrade auf.
In Version 4.8.0-5 wurde SeaBIOS aus dem Paket entfernt (siehe diesen Kommentar ), da sich im regulären Arch-Repository eine Version von SeaBIOS befindet. Um das Problem zu beheben, installieren Sie es einfach, indem Sie es ausführen pacman -S seabios
.