mvebu: update kernel config