let \
		size="$$(stat -c%s [email protected])"; \
		totalsize="$$(echo $(( $(size) + $(size) + 1024 )))"; \
		mktag_kernel -s $(totalsize) -o $@-kernel/tag_kernel