MOB-8878: Include Ubuntu 12.04 kernel patches.