[coreboot] Getting started with Coreboot on Intel Core