I currently have an embedded device booting via mainline U-Boot in to the mainline Linux kernel (built via Buildroot). This works fine and the board functions as intended.