BootCD: use 4.2 branch for -tags.mk and trunk (5.0) for the -k27-tags.mk