7.3 default kernel