Added timestamp kernel extension