Re: FC4 kernel performance