May it be possible to, let's say, use a kernel module that uses those instructions exclusively, and then interface it though a userspace library? In such case,

May it be possible to, let's say, use a kernel module that uses those instructions exclusively, and then interface it though a userspace library? In such case, I understand the operations would be done in kernel space which doesn't require saving states (as it's running in kernel mode, which is a single address space) and these extensions would be accessed through this library.