UEFI driver bug