[coreboot] [PATCH] x86_64 support needs testing