I noticed this problem for a long time, some drivers loading ok when installation, but fails to load (or misses) during first starup. I just want to know why memory over 4GB will cause this problem? and does the problem exist in both 32bit and 64bit kernels? What's the difference between smp kernel and bigsmp kernel?