Re: [SeaBIOS] [PATCH 19/20] acpi: move isa devices to separate file [q35]