EliteBook 8460p - Пользовательский логотип загрузки с Arch Linux

Я знаю, что мой EliteBook 8460p поддерживает собственный загрузочный логотип (не HP). Я прочитал эти два сообщения о том, как это сделать ( 1. Пользовательский логотип загрузки HP ProBook, 2. Пользовательский логотип загрузки HP Elitebook 8570w) - дополнительные ссылки внутри сообщений.

Чтобы пользовательский логотип работал, вам нужно создать дополнительный раздел (как описано в ссылках), но нормальное ПО HP должно работать в Windows, и я только что установил Arch Linux (впервые). Было бы здорово, если бы кто-то знал, как я могу добиться подобного эффекта в среде Arch Linux...