Implement sys_brk as a local function in the 32-bit host