Let package installation optionally include Archlinux stock kernel