Re: [SeaBIOS] [PATCH 2/2] acpi: clear up/down bits on interrupt