Descobriu o problema. O HP EliteBook 8540w possui um controlador USB 2.0 e USB 3.0 integrado. A porta USB que eu estava usando era uma das USB 3.0. Eu finalmente desisti do AHCI e acabei de instalar no modo IDE. Quando cheguei ao Windows após a instalação, o disquete e o mouse USB que eu havia anexado pararam de funcionar. Testado todas as portas USB no sistema, encontrou duas que o Windows recém-instalado poderia reconhecer. Conectou o disquete USB a uma dessas portas, reativou o AHCI através do BIOS e executou a instalação básica novamente. Funcionou bem desta vez e atualmente está instalando todas as atualizações do Windows.
Não sei por que a configuração reconhece as portas USB 3.0 como dispositivos USB herdados no início da configuração e não no final da configuração. E duvido que esta seja uma causa comum deste problema, mas espero que isso ajude alguém em algum momento.