Codedump for sound
kernel: fix derp on kernel/time/tick-sched.c