[SeaBIOS] [PATCH v4 3/5] acpi: pack rsdp