drivers/devfreq/devfreq.c: fix build (reverted from commit a022483658107957ae8313a63288cee00f750f25)