x86: add some pirq debugging