Looking in the source of my 2.6.34-12 kernel, I don't see that model. But running "lspci -v" and then the matching entry from "lspci -n" will provide the manufactures code of the device which the kernel uses to identify the device.
Code:
Kconfig: Marvell 88E8001, Belkin F5D5005, CNet GigaCard, DLink DGE-530T,
Kconfig: Marvell 88E8021/88E8022/88E8035/88E8036/88E8038/88E8050/88E8052/
Kconfig: 88E8053/88E8055/88E8061/88E8062, SysKonnect SK-9E21D/SK-9S21
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x4340) }, /* 88E8021 */
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x4341) }, /* 88E8022 */
...
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x436D) }, /* 88E8055 */
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x4370) }, /* 88E8075 */
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x4380) }, /* 88E8057 */
sky2.c: { PCI_DEVICE(PCI_VENDOR_ID_MARVELL, 0x4381) }, /* 88E8059 */
You can also look in /usr/share/pci.ids.d/pci.ids.dist to see if 88E808 is listed on your system.
You may need to contact Redhat or HP for more information. It may be a matter of having to use wireless or a pcmcia nic device until the kernel programmers get to this device. Sometimes device makers are helpful, and sometimes they aren't.
There are several Marvel devices, but I think that you would probably need a sky2 kernel module, if the code were written for this device.
Just in case, run "lsmod" and check for it the sky2 module.
Look in the kernel boot up log.
dmesg | less
or
sudo less /var/log/messages
or
less /var/log/boot.log
Another option is to replace the PCI-E wireless device with a wireless device you know is supported. Most laptops today have a door in the bottom of the computer case, making changing the mini-wireless card as easy as adding memory.
Sorry I'm not more helpful, but from the information you provided, I don't think a linux kernel module will work with this device at this time. You could look into using ndiswrapper which wraps around a windows driver.
Network card disabled?
