Use vendor's device and package names everywhere, not nextpnr's.