Как обновить BIOS в Debian или Zenbook?

Я пытался связаться с фактическим сопровождающим, чтобы получить право на сопровождение. Пока я рассматривал этот пакет, я создал обновленный PKGBUILD, который вы можете найти здесь

Вы можете загрузить PKGBUILD и запустить:

 makepkg -si PKGBUILD