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