Must/should MIT license be shown for FreeRTOS Kernel, and where?

You don’t have to document your product uses FreeRTOS.