Add kernel timing measurement