sse4_1 sse4_2, tidier kernel config listing