Fixed a bug in kernel language test preconditions.