New arch kernel config
Make piglit-run.py time the piglit run