Batch modification to #2412 by sebastian.huber: priority to high -- Tickets URL: <http://devel.rtems.org/query?id=2412> RTEMS Project <http://www.rtems.org/> RTEMS Project