mkconfig: Create board directory (CONFIG_BOARDDIR) in include/config.h