x86: use pt_regs pointer in do_device_not_available()