I was wondering why 9pccpuf isn't included in the distribution when other kernels are ?

The wiki seems to think it should be present :

> You need to use a cpu/auth kernel, the existing one in /386/9pccpuf should work.

Has it dropped out by accident ?