The FreeRTOS and FreeRTOS MPU port layers are different. The download only includes the FreeRTOS MPU port layer for the GCC compiler, so you would have to look at the differences between the two GCC port layers and implement the same for the Keil tools.