Cboot in 32.7.2 fails to read extlinux.conf

I tried to download Cboot Sources T194 from Jetson Linux R32.7.2 Release Page | NVIDIA Developer

It can’t even build unmodified. Has anybody tried to build it as is? The tarball has some nvidia internal build tool, as pointed out in this other post.