/configs/platform-rpi/barebox-defaultenv/