Thank you :)
[rocketmouse@archlinux linux-rt]$ diff config.x86_64 config.fernando | grep CONFIG_MK8
[rocketmouse@archlinux linux-rt]$ diff config.x86_64 config.fernando | grep _HZ
[rocketmouse@archlinux linux-rt]$
Any idea what I should take care for, when I run diff?
Perhaps I simply build a kernel using your config, when I've got time to do it.
Regards,
Ralf