latest fc10 kernel and policy seem to be out of sync (kernel_service)