Get rid of open-coding in ia64_brk()