Refresh C kernel