How to specify/query device patch with Swordfish