I think that uboot overlays are now being used:
I would also like to reassign pins, but I haven't found how to do this with uboot overlays.
Here's a link for changing pin assignments from the command line using config-pin:
I used config-pin to reassign I2C1 to UART1:
$ sudo config-pin P2_09 uart
$ sudo config-pin P2_11 uart
This reverts back to I2C1 on reboot.
Gary