[coreboot] How to port core boot