[PATCH 0/5] VExpress64 board family improvements