Then, the orange and gray bars of the Windows Server 2008 boot logo. The four colored squares assembled themselves with the clumsy slowness of a geriatric turtle. The words “Please wait…” appeared.

At 5:22 AM, he typed bcdboot C:\Windows /s S: /f BIOS .

The HP’s screen flickered. The UEFI complained about a missing bootable device. Leo held his breath. He went into the BIOS and forced legacy CSM boot. He disabled Secure Boot. He told the machine to forget it was 2016 and pretend it was 2009.