[MIPS] mips HPT cleanup: make clocksource_mips public