The xty device numbers should match those generated by kernelcreate, and should number from one upwards. Add lines like the following to the file:
Pad xty1 - Any pad Pad xty2 - Any pad