On Mon, Feb 03, 2014 at 10:04:37AM +0100, Gerd Hoffmann wrote: > Signed-off-by: Gerd Hoffmann <kraxel at redhat.com> Can't we detect this at runtime by reading the ACPI tables from QEMU? (Indeed, if it is a SeaBIOS config setting, how will QEMU know what to put in the ACPI tables?) -Kevin