get kernel "opt_foo.h" headers, rather than _KERNEL && !_LKM.
MPC8240 processor module. See the README for more information.