gcc-4.7.x and kernel compilation

[Yioryos Asprobounitis]

As far as I can see fedora-18 uses gcc-4.7.3. From what I understand (and tested, though with gcc-4.7.1) with gcc-4.7.x, 2.6.35 kernel compilation fails  because of a asmregparm call in ptrace.h, .
I was wondering if the olpc-2.6.35 kernel source should be patched with this patch: https://patchwork.kernel.org/patch/1301031/ to avoid future issues.
The patch (and resulting kernels) work fine BTW.