Bug in kernel regression test software