Updated real-time config with switches for stable timing, support for IPMI, VM install
requested to merge keith-thorne/debian-kernel-rtcds:branch-rtcds-4.19-config into ligo/rtcds-4.19-buster
Improved config overlay for RCG 4.0. Stripped down to include additional switches from stable real-time, also adds IPMI, VM drivers