pass kernel arguments correctly to the build.sh