We've not built those since ages, they don't use prepackaged
uboot and kernels and mainline kernel support is good enough
for the NXP EVK that a pregenerated image is easy to modify
to boot there.

We used them as reference but mainline devkit support is
good enough nowadays to server as that reference.