plat-vexpress: fix non-debug build

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'.