distro-3.10: update Arch configs
distro-3.10: update Debian configs
distro-3.10: update Ubuntu configs
Merge branch 'distro-3.10' into pf-3.10