Android builds timing out

The last two vexpress builds were timed out after 3 hours but I can't see anything particularly wrong in the logs, they seemed to be going fine up to the point they were aborted.

Also, one of the recent Panda builds was timed out: https://android-build.linaro.org/builds/~linaro-android/panda-jb-gcc47-tilt-...

I notice previous successful vexpress builds have taken about 2h45m, but I can't see any recent changes which might have made pushed the builds over 3h. (I doubt newly added pm-qa tests take a significant time.)

Perhaps there is some infrastructure slowness? I'm not sure what to do.