kernel headers: add more mirrors to address #84
butch: add one mirror
build-butch: temporarily use foss.aueb mirror

until issue #84 is resolved.