PKGBUILD: no need to change the kernel version format