[coreboot] [PATCH] Add support for 64bits payloads