at91: refresh kernel configuration