Re: FC4 kernel performance - debug