Eu desliguei o BIOS com segurança e instalei o mint 16 de um DVD. Tanto o Windows quanto o Linux parecem estar felizes. Não consegui fazer o DVD de instalação inicializar com a inicialização segura ativada. Eu não sei quais são as ramificações de executar o Windows 8.1 sem inicialização segura ativada, mas está funcionando.