kernel/update-kernel.sh: remove kernel sources as well