EFI updates for v3.8 - part 2

Just one small commit that fixes a sparse warning.