FreeRTOS: A few small fixes to make the FreeRTOS port simpler#5

alistair23 wants to merge 1 commit intoAzure:masterAzure/Project-Cerberus:masterfrom

alistair23:alistair/fixesalistair23/Project-Cerberus:alistair/fixesCopy head branch name to clipboard