Fwd: efibootmgr cannot save boot options