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