[guappa]

There have been buggy implementations where UEFI is in fact NOT flashed to the motherboard and can get removed.

If he has one of those crappy computers it could be, but when I read about it happening it was entirely due to users MANUALLY deleting the UEFI files, did not happen upgrading.

So, the story seems still wrong to me.