RTEMS patches for LEON