Updated kernel post with a PKGBUILD