Stupid BIOSes do not tell us about the PMTimer, 
but we might know where it is.
Signed-off-by: NThomas Gleixner <tglx@linutronix.de>