Minor kernel build changes: