128 /* kernel getchar interface */