Submodule link to 9c048e0c71ee43630394981a86f5265bc57131e4 of https://pigweed.googlesource.com/third_party/github/FreeRTOS/FreeRTOS-Kernel