Add user_regs_struct to kernel_abi.h

...and change around a bit of code to use it.