I was informed by a colleague that the MMX rover uses RTEMS 4.11 with Xstratum Hypervisor instead of (assumed) 4.8. This MR fixes that.