Eu li que, para inicializar o Linux com o UEFI de 32 bits, você pode trocar o UEFI GRUB de 64 bits padrão pelo de 32 bits de uma distribuição diferente e ele poderá trabalhar no Stream 7, portanto, talvez um procedimento semelhante (trocar o UEFI de 64 bits pelo bootmgr de 64 bits pelo de 32 bits e reconfigurar as entradas para corresponder à sua instalação) possa funcionar para obter uma instalação do Windows de 64 bits em execução após a instalação de uma imagem AIO com 32 Windows PE de 6 bits.
No entanto, depois de considerar fazer isso sozinho no meu HP Stream 7 que está a caminho, lembrei-me do fato de que o requisito mínimo para o Windows 8.1 x64 para memória é de 2 GB, e o HP Stream 7 possui apenas 1 GB. O tamanho da instalação de um Windows de 64 bits também é maior (pois precisa de bibliotecas de 32 e 64 bits para compatibilidade), o que faz a diferença, pois possui apenas 32 GB de memória interna. Essa deve ser a razão pela qual a HP até colocou o firmware de 32 bits nesse dispositivo.
Os aplicativos da Windows Store não se importam com a execução de 32 ou 64 bits, e os raros programas de área de trabalho que seriam apenas de 64 bits provavelmente são assim porque exigem muita RAM e poder de processamento, o que o HP Stream 7 não ser capaz de fornecer de qualquer maneira. Portanto, não faz sentido instalar o Windows 8.1 de 64 bits, ele apenas consumiria mais espaço e o tornaria muito lento devido à memória insuficiente. Claro, se você deseja instalar o Windows 8.1 Pro, em vez da versão do Bing, para ter criptografia e outros enfeites, vá em frente, é isso que farei de qualquer maneira. Ou talvez experimente o Windows 10 Technical Preview 2 depois que eu souber que o tablet está totalmente funcional e não precisará ser trocado.
TL; DR Basta seguir o Windows de 32 bits, o Stream 7 não atende aos requisitos mínimos para a edição de 64 bits e nenhum programa que exija 64 bits funcionaria bem nesse hardware. Apenas tenha a sorte de não ter comprado um tablet Windows RT :)