My current mk908 kernel build source.  It's a mixed bag from many sources.