13.3.2.5 Scheduling of Normal Priority Interrupts