[PATCH] alpha pt_regs cleanups: device_interrupt