IRQ not equal usually indicates a driver crash (like display driver for example) but i'm not sure in your case. You could try either one I guess and see if that helps.