fixed build_kernel.csh and build_world.csh

Signed-off-by: Oliver Pinter <oliver.pntr@gmail.com>