update build.sh for alternative kernel compilation behaviour