adjust planetlab patchset against RHEL kernel