boardconfig: change default kernel config