[PATCH] vexpress: don't reset flags in board_init to avoid losing previous ones