UEFI: maybe better working read function