Eu tinha esquecido esse post; de qualquer forma, nenhuma das respostas habituais funcionou para mim. Em vez disso, havia uma opção no menu UEFI que dizia "adicionar opção ao boot UEFI" (ou algo ao longo das linhas) a partir daí eu era capaz de adicionar o menu Grub. Eu não tinha visto essa resposta em nenhum lugar, presumo que poucos computadores o tenham ou simplesmente não exigem essa opção. De qualquer forma, obrigado. Espero que alguém que se depare com isso ache útil.