[PATCH 23/34] x86: Allow installing an e820 when booting from coreboot