Hammerhead kernel rebased on linux 3.10