BIOS Update on Probook 4x40s

https://www.tonymacx86.com/threads/guide-bios-update-on-probook-4x40s-a…

para correr o debian nesta máquina em modo uefi temos que realizar o seguinte:
cp /boot/efi/EFI/debian/shimx64.efi /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi
cp /boot/efi/EFI/debian/*.* /boot/efi/EFI/Microsoft/Boot/

isto é necessário porque o firmware vai procurar pela imagem de arranque em /boot/efi/EFI/Microsoft/Boot/bootmgfw.efi.

uma vez que a ESP não permite symlinks (FAT32) o ideal é excutar o script em anexo no final das atualizações.