[coreboot-gerrit] Change in coreboot[master]: fw_config: Convert fw_config to a 64-bit field