plat-vexpress: set optimization to -O2 when DEBUG is not 1

On Foundation_v8 FVP, -O2 allows much faster execution than default debug mode
(-O0). The minor rework in core/arch/arm32/kernel/mutex.c is to avoid a GCC
warning: '<variable> may be used uninitialized in this function'.
Usage: make ... DEBUG=