Hi Alexis,
The linked patch is not an official TI's patch and it is not integrated in the last TI-SDK-Beagleboard 6.00 for example. I suggest you to read the section which outlines the process for customers and 3rd parties using the Linux PSP - who would like to contribute patches back into the Linux PSP at the link:
http://processors.wiki.ti.com/index.php/PSP_Linux_Development_FAQ#Contributing_to_Linux_PSP
BR
Tsvetolin Shulev