correction SE Linux Debian patching
Authored by: andremachado 2009-08-31
Parent: [r853]
Child: [r855]