OK we have managed to resolve the issue a different way. But we wouldn’t have got there without your help.
We tried lots of combinations of DHCP option 67 undionly.*
The way we resolved the issue was to change DHCP option 67 to ipxe.pxe.
Many thanks Sebastian.
Richard