E407/: enable configUSE_PREEMPTION in FreeRTOSConfig.h; move editing to script "mkconfig"