Use TAG_KERNEL2USER on the result.