x86: handling unregistered IRQs