linux-stable/drivers/clocksource/Makefile