[coreboot] Help for porting bios to a new board