Luca, if you know how to compile the kernel from source (I used the patch against a vanilla kernel 2.6.33-rc3, but other .33 and .31 etc kernels might do too),
$ cd /usr/src/linux
$ patch -p1 < "the patch file from comment #32"
$ make
$ mv arch/YOURARCH/boot/bzImage /YOUR/BOOTK/ERNEL
Luca, if you know how to compile the kernel from source (I used the patch against a vanilla kernel 2.6.33-rc3, but other .33 and .31 etc kernels might do too),
$ cd /usr/src/linux boot/bzImage /YOUR/BOOTK/ERNEL
$ patch -p1 < "the patch file from comment #32"
$ make
$ mv arch/YOURARCH/