[ARM] 3194/1: add pfn_to_kaddr macro for ARM take2