[PATCH 07/11] vexpress64: fvp: add distro_boot support