Yes a kernel taint is a really good idea!