Thanks for the suggestion, I have just tested with these and I'm still seeing the same behaviour. Any other ideas?
I see there are release notes for 14.1X53-D46 dated yesterday, with a Problem Report related to DHCP Relay under the resolved issues. Now I'm wondering if my problem is related to that.