[coreboot-gerrit] New patch to review for coreboot: 2617699 t132: Add monotonic_timer.c to rmodules_arm