Re: Tyan 2885 w/ 3w-9xxx oopses [was: CONFIG_HIGHMEM64G=y for x86_64 SMP kernels]