Generate kernel man pages
Doxyfile for kernel should define KERNEL_INTERNAL
Bundling unifdef with Zeke as it's not that common tool and there
seems to be different versions of unifdefall circulating.