Fix kernel build script from kbc-developers