Update for franco kernel