Restored dual-boot functionality after a BIOS update overwrote UEFI boot entries, recovering access to a NixOS / Windows 10 system