[PATCH] remove arch/i386/kernel/tsc.c:custom_sched_clock