Bem, infelizmente isso pode não ser possível no Arch porque acredito que o software é apenas para Windows.
No entanto, existe uma alternativa. Você pode instalar o plymouth e configurar seu logotipo de inicialização.
Mais informações: link
Eu sei que o meu EliteBook 8460p suporta um logotipo de inicialização personalizado (não o da HP). Eu li esses dois posts sobre como fazer isso ( 1. Logotipo de inicialização personalizada do HP ProBook , 2. Logotipo de inicialização personalizada do HP Elitebook 8570w - links adicionais dentro de postagens.
Para que o logotipo personalizado funcione, você precisa criar uma partição extra (conforme descrito nos links), mas o HP Software normal deve funcionar no Windows e eu acabei de instalar o Arch Linux (pela primeira vez). Seria incrível, se alguém soubesse como eu poderia conseguir um efeito similar no ambiente do Arch Linux ...
Bem, infelizmente isso pode não ser possível no Arch porque acredito que o software é apenas para Windows.
No entanto, existe uma alternativa. Você pode instalar o plymouth e configurar seu logotipo de inicialização.
Mais informações: link
Tags boot linux arch-linux hp-elitebook