mvebu: be consistent with kernel config file names