[U-Boot] [PATCH v2 0/3] efi_loader: correctly initialize system table crc32