[Bug 228836] Kernel oops upon change of CPU frequency