k_smp kernel: brk() patch