[PATCH 0/9] x86: Fixes and improvements for coreboot