Solution for P4: ukernel.

git-svn-id: https://epos.lisha.ufsc.br/svn/branches/ine5424@3301 86035c5f-d46c-4136-a2d5-fe63f1d4a782
Add git workarounds to solution to P4.