Linux: Update user AF_RPMSG define for 3.9 kernel