Kernel modules for these drivers are installed on all platforms, so install the man pages on all platforms too.