look harder for ix86 kernel debuginfo in koji