drivers/devfreq/devfreq.c: fix build