[PATCH 3.16 34/72] powerpc/pseries: correctly track irq state in default idle