We disable BOOT_FILE_SYS_ENABLE and remove fatfs, as well as use the normal Debian arm-non-eabi-gcc in /usr/bin