Get current time as a static function

[jonathanpallant]

Sometimes you just want to know the current timer count (as a u64), and creating a whole object (like an El1VirtualTimer) just to get that doesn't make sense.

So aarch32_cpu should just have a freestanding function that reads the current time.