ARM: make get_current() and __my_cpu_offset() __always_inline