Learning kernel customisation for Android