Updated grub-customizer PKGBUILD to version 4.0.2