Pins on GPIO port 1 were not correctly set.
This is resolved by using the (previously unused) pin_num function.