search for: e9425f05

...must be booted from EFI". This message was introduced in upstream commit f745566, "x86: honor ACPI indicating absence of CMOS RTC". After reports that this breaks booting on HP servers, because the hardware incorrectly sets the CMOS RTC Not Present flag, a workaround was made in e9425f05, "x86/ACPI: allow CMOS RTC use even when ACPI says there is none". The Xen version that the debian packages are based on is created from a release in between these two commits. For our own use, I rebuilt the packages including a patch that reverts f745566, instead of applying the sol...