Android Goldfish kernel with RTLinux patches merged