Re-updated kernel