[SeaBIOS] [PATCH v2 0/4] acpi_piix4: Add CPU eject infrastructure for pc-1.1