doc: fix generation of device-drivers