update for franco kernel