src/distrib/hppa/kernel