/configs/platform-v7a/barebox-vexpress-defaultenv/