workaround for gcc 4.7.3: it crashes with higher optimizations (e.g. -Os or -O3)
USB MSD host working again with -Os (needed to add volatile to usb_dev_list_free_memory()