I'm not really qualified to review this diff, and I'd assume ship it unless someone else objects.

src/arch/arm/tlb.hh (Diff revision 1)

Not sure if it would help, but this is another place where you could use the Flags class.