mkconfig: pass the board name to board config file