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