Brk commit and SetKernelBrk bug fix