mipsel-bfk3 feature often serves as basis for special
build for various other BE-T1000-based devices. Having
DTB name in config.mk simplifies creating such derivatives.