Add preliminary FreeRTOS support; Enforce CONFIG_* definitions.