Re: [SeaBIOS] [PATCHv4 0/3] acpi: DSDT/SSDT runtime patching