coreboot-kgpe-d16/targets/rca
..
rm4100