This fixes target compilation for mvebu target as some patches are
adding additional options.

This is required because we no longer copy all CONFIG_KERNEL_ options to
platform kernel config file.