[coreboot] v2[PATCH]RCA RM4100 irq routing fixes