YARKU and making using mirrors easier

Just a few commits, yet another kernel config update for the rpi, since they've added a new option for another sound device.

And also update the scripts to make it easier to switch mirrors.