Re: [SeaBIOS] [PATCH 0/3] acpi_piix4: Add CPU eject handling