Update to hazy kernel