fix typo in vmkernel target