tile: fix bug in setting PT_FLAGS_DISABLE_IRQ on kernel entry