tools/kernel2minor: fix portability issue