Update BoardConfig.mk

Use a 'small' kernel to build recovery (otherwise, it's 'too large' )