[coreboot] v2[PATCH]RCA RM4100 reboot patch