linux, Android向けの修正