The BIOS must follow ACPI specification and report the correct number of the
installed battery and status.
4.7.6 Bootable Device
The system is capable of booting from onboard HDD, CD ROM, DVD-ROM,
external USB Floppy and USB ATA Flash device.
4.7.7 Embedded controller
The keyboard controller will act as the ACPI embedded controller and support the
ACPI EC protocol and interface.