PTXdist project for the Raspberry Pi with mainline Linux, device tree and U-Boot for TFTP+NFS