[Lguest] arch/x86/lguest: head.S naming

[Rusty Russell]

Daniel Baluta <daniel.baluta at gmail.com> writes:
> Hi,
>
> Looking at arch/x86/kernel we can see:
> * head_32.S
> * head_64.S
>
> also, looking at arch/x86/lguest we can see:
> * i386_head.S
>
> We are trying to port lguest on x86_64, and for consistency
> it would be nice to have i386_head.S from arch/x86/lguest
> renamed to head_32.S so that our corresponding file for
> x86_64 would be head_64.S.
>
> What say you :D?

Patch welcome!

Also, are you aware there is already a bitrotted, never-quite-finished
port?  Steven & Glauber might have more info...

Cheers,
Rusty.