/arch/arm/boards/raspberry-pi/defaultenv-rpi/