AXPpci33 machines + power management and a Cirrus PCI-PCMCIA controller. There is currently no support for the power management facilities, and the PCI-PCMCIA controller driver needs some work, but this should boot and run from disk.