update instructions for fetching android kernel source