kernel: Shorten GetCount