mkinitcpio v40, packaging changes and kernel-install