[coreboot] RCA RM4100 Build Tutorial