modificato:   default-configs/arm-softmmu.mak