Runtime: Add RealTime checkbox in Linux target options to enable PREEMPT_RT scheduling.

2023-02-21, Edouard Tisserant