[201EF] page fault handling in Exokernel: stacking