Raspberry Pi Compute Module 3+ compatibility?

This doc points me to a different uboot build than the RPi 3 that (AFAICT) is currently being used

Guess I’ll try rpi_arm64_defconfig .