Probably grub and os prober
They needs to patched to allow booting
Either he is running other os grub
Or he has not done
mkinitcpio -P
update-grub
Probably grub and os prober
They needs to patched to allow booting
Either he is running other os grub
Or he has not done
mkinitcpio -P
update-grub