Acho que observei meu BIOS SRock Q87WSA-DL Ami esquecendo de qualquer instrução de inicialização via USB e inicializando a partir do disco rígido. Eu tenho que pressionar F11 na inicialização. Mesmo assim, alguns USBs ao vivo só são inicializados quando eu seleciono USB, não o novo UEFI.
Para referência, vou dizer que eu encontrei Qubes-R3.2-x86-64 é muito útil quando instalado em um memory stick de 64GB Sandisk extrema (USB3.0). Eu criei uma inicialização USB em um pen de 8GB Netac, inicializado sobre isso. Então, instalei quebs no Sandisk maior e mais rápido, criptografando-o com uma frase secreta. LibreOffice instalado e correu bem. Isso foi em um processador i5-4440, com 4 GB de RAM e placa de vídeo AMD Radeon HD 6450. O Vt-d estava ligado, a comunicação era pela Ethernet e não havia TPM.