Re: [PATCH] vmcore-dmesg: vmcore-dmesg: struct_val_u64() not casting u64 to u32