BoardConfig.mk: switch to mahdi-mako_defconfig as I'm building my kernel now