Sort out the PKGBUILD and config for 3.12