[PATCH 00/34] x86: Enhancements for booting from coreboot