restore 0xe000-0xffff to be safe