d80* kernel build broken with working vs980 kernel == use the same working kernel for all.

Not my problem, so fixing it the quickest way possible.

Change-Id: I25358b1950ea9a6659e93224dfee5a3facf94f3f