bug fix for extending prod kernel