[arch-general] Editing grub for dual boot?