Re: [arch-dev-public] Improving/Simplifying Kernel PKGBUILD