Add core/linux-raspberrypi-latest (3.9.1) to the repo
Merge branch 'master' of https://github.com/archlinuxarm/PKGBUILDs