"kernel" would be fine for all of them; I'll take care of that after the Christmas break. (However, I can't change 9.10 now.)
"kernel" would be fine for all of them; I'll take care of that after the
Christmas break. (However, I can't change 9.10 now.)