mvebu: refresh kernel config