Então, logo depois que eu postei isso, fui para a mesma página e carreguei os "Padrões Otimizados". Várias opções apareceram no menu avançado, incluindo o SVM, que é ativado por padrão. Não me lembro de fazer configurações personalizadas no BIOS anteriormente, mas isso parece ter resolvido o problema. Obrigado!