use FATC, not PTBR, to flush addr translations