Wrong check for last block in lib/efi_loader/efi_disk.c?