proper location for BoardConfigVendor.mk