Linux: Add support for the hwspinlock_user driver