Convert CPU_PC_FROM_TB to static inline (Jan Kiszka)