Sort out Linux kernel building with new driver model.