BoardConfig.mk: Make room for larger kernel