MOB-8878: Adding kernel patches for Ubuntu 12.10