MFC r257487:
Use LOG2_ID_PAGE_SIZE again for the identity mapping in regions 6 & 7.
MFC r257910:
Don't enable interrupts before we call sched_throw().