[tribledot] add SRCDAT to linux kernel source download