reports of kernel bugs I didn't push somewhere