BoardConfig: fix usage with linaro kernel.mk

Signed-off-by: Domenico Marino <johnlemon.lol@gmail.com>