Re: [coreboot] Recent wpdchanges to acpi_write_rsdp