brk and sbrk for kernel heap