BoardConfig.mk: Fix compilation