Update embed-kernel.sh