What is the maximum kernel memory for amd64? Addresses by default seem to start with 0xffffffffxxxxxxxx so one could assume a 4gig limitation? Pete