libbarrelfish: fix morecore heap with 1GB pages.