From: Michael Roth <michael.roth@amd.com>
> Sorry, I just noticed I had a typo in that patch which made it a no-op
> effectively. Can you give this a shot?

Ah, thank you, that works!

> +   kernel_add_identity_map((unsigned long)sd, (unsigned long)(sd + sizeof(*sd) + sd->len));

But I think the cast should be like this and it works for me, too:

     kernel_add_identity_map((unsigned long)sd, (unsigned long)sd + sizeof(*sd) + sd->len);

-- 
Jun'ichi Nomura, NEC Corporation / NEC Solution Innovators, Ltd.