fix ppk test kernel