[PATCH] arm: Add (back) VExpress boards support