[coreboot] RCA IP1150