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