Hellboy kernel for Primou Android 4.4