Make sure the kernel builder is reset before reconfiguring.