[PATCH 13/41] clocksource: ti-dmtimer: avoid using mach/hardware.h