4bc6b9ed7e
This commit updates the FreeRTOS SMP source to the latest upstream source at commit 8128208bdee1f997f83cae631b861f36aeea9b1f