RMS utilise bien coreboot sur un laptop chinois à base de MIPS