ARM: 8938/1: kernel: initialize broadcast hrtimer based clock event device