In some circumstances we might want to set a custom vendor.mk filename. If not set, then just default to the current device name Change-Id: Icb59ebee67ce17b41ac613020685773efb01103d