[coreboot] First thought on how to porting coreboot to ARM, comments are very welcome