Some of you may have noticed that Linaro's AArch64 buildbots have been
offline for a few hours. This is due to a thunderstorm in the location
where those machines live. People are working on bringing them back
online as soon as possible. Sorry about the inconvenience.