bcm64: make the kernel use virtual timer counter register for cycles()
some kind of operating system.