This also avoids another manual edit in module/targets.mk. Now the file is completely autogenerated by the build/mktargets.sh script, just as all the other targets.mk files.