Our current mirror is out of sync, it has happened twice now. It's
been several years since we switched away from kernel.org mirrors
(Ie6050fbf20259df39eab11f8e326d58351d98ea5) so it might be worth
trying again (they are currently in sync). Also we are using the
".us" version here, to keep things more local to the update server.
Change-Id: I29cf3895e7fa8e401a1d686119e56b4fddb0cc47
f7cac8ea8c