[U-Boot] [PATCH v2 17/28] x86: acpi: Use u32 in table write routines