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