Add missing kernel include