Re: [coreboot] How to port core boot