Still have x86_4G problem with kernel 2.6.7-1.478smp