SetKernelBrk and Load.c bug fix