On 07/08/10 2:39 PM, Seth Bardash wrote: > To the Linux Community at Large: > > I reported to this list back in January, 2010 that the standard x86_64 > kernel, when built from the src.rpm and modified for ... I don't understand how you think that this is a bug. you modified something and it broke. the provided redhat binary kernels work fine as advertised.