linux kernel .config for UAT High Performance Linux