archlinuxarm/PKGBUILDs — pull request #153 by TamCore (2012-05-13 14:06:15+00:00)
Title: Copy mach-bcm2708 headers, not mach-kirkwood

The Raspberry Pi uses mach-bcm2708 that's why mach-kirkwood is useless.