minnow: Add option to enable real time kernel for minnow board