clocksource/drivers/bcm_kona: Remove useless header <asm/mach/time.h>