nvctrler: update the TODO list for pki.c