Replace execute(pass) with kernel_info()