10b4620bf0
o when compiling lint, undefine certain things and redefine them so that the driver doesn't #error out. Since lint kernels aren't supposed to be bootable, I'm no troubled by this breakage. This fixes the tinderbox Suggested by: rwatson Approved by: bms