[PATCH 3.18 078/108] misc: vexpress: Off by one in vexpress_syscfg_exec()