[SeaBIOS] [PATCHv3 0/4] acpi: DSDT/SSDT runtime patching