[U-Boot] [PATCH v1 4/7] x86: acpi: Name fields in FADT in accordance with specification