modified files to build android kerrighed kernel