## SECTION=bootloader config BAREBOX_VEXPRESS tristate prompt "Barebox (vexpress)" help Vexpress support for barebox.