/configs/platform-v7a_noneon/barebox-vexpress-defaultenv/