[PATCH] VEXPRESS: Fix VEXPRESS implicit declarations dependence errors.