While debugging some qemu problems I wanted to try change the value in /proc/sys/dev/rtc/max-user-freq like suggested from qemu but there is no rtc dir in /proc/sys/dev/ a cat /boot/config-`uname -r` | grep CONFIG_RTC shows this: # CONFIG_RTC is not set [..] why is this disabled? Last time I used it it was there (was a while ago but it worked) Reason fro this?