Re: [SeaBIOS] [seabios patch 5/5] update src/acpi-dsdt.hex