Updated scheduling for CORE and SRP.

For CORE we use FIFO, SRP uses a priority and ceiling based
strategy to select which message to schedule.