x86 cleanup highmap after brk is concluded