Fix silly copy-paste bug in computing kernel cpu time