kernel-kit/build.sh : fix printk verbosity patch; #488