[IA64] Synchronize kernel RSE to user-space and back