updated kern/TODO