Updating kernel, using latest Zephir