[PATCH v3 10/16] x86: coral: Allow booting from coreboot