Configuration dev

This changes the way the menuconfig item for the raspberrypi bootloader works.