pseries_dedicated_idle() was using __get_tb which used to be defined
in asm/delay.h.  Change it to use get_tb from asm/time.h, which is
in fact exactly the same thing.
Signed-off-by: NPaul Mackerras <paulus@samba.org>