Update for 20c kernel