i386-x40 memory base range monitor (paging), refactoring