Thank you. Yes, that is what I tried, but did not get it to work. I must have done something wrong with the BPMPFW dtb.
However I managed to get it to work by flashing the BPMPFW dtb from an earlier Jetpack release, and a modified kernel dtb as described in the documentation.