Raspberry Pi port, piCore-15.0 is available!
* Dropped pci.ids. Use extensions (pic-ids.tcz libpci.tczl).