[coreboot] Re: Help for porting corevoot to an unsupported device