mvebu: Refresh kernel configuration