now in wcfxs.c on lines approximately 2127 or there abouts
this key needs to be added like so:
static struct pci_device_id wcfxs_pci_tbl[] = {
{ 0xe159, 0x0001, 0xa159, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxs },
{ 0xe159, 0x0001, 0xe159, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxs },
{ 0xe159, 0x0001, 0xb100, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxse },
{ 0xe159, 0x0001, 0xa9fd, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxsh },
{ 0xe159, 0x0001, 0xa904, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxsh },
{ 0xe159, 0x0001, 0xa900, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxsh },
{ 0xe159, 0x0001, 0xa901, PCI_ANY_ID, 0, 0, (unsigned long) &wcfxsh },
{ 0 }
};
in this case this procedure needed to happen several times until 0xa904 allowed
the reboot (note the a901, a900)
recompile and see if it works for you...