On a recent Macbook Pro (i7, Macbook Pro 8.1) post Feb 2011 I did not have much love from a kernel driver. Oddly google was not that helpful.
/var/log/system.log system log complained along the lines of:
[0x0-0x30030].WebToGo.ePlus2_1: /System/Library/Extensions/HuaweiDataCardActivateDriver.kext failed to load - (libkern/kext) requested architecture/executable not found; check the system/kernel logs for errors or try kextutil(8).
The fix was pretty simple: Just boot the machine into 32bit mode. Turns out the default boot mode is 64bit on later hardware. One way to find out which OS mode you run is to go to:
About this Mac
More Info …
click directly on the Software item on the left.
You will see 64-bit Kernel and Extensions: “Yes” in the second last line.
If you hold the numbers 3 and 2 during boot then you will be in 32bit mode and get probably much more love from 32 bit extension. In my case it was an Aldi Surfstick S4012 based on a Huawei one that caused some grief in 64bit.
Since not many 64 native machines are out there it explains why this topic is not easier to google right now.