added TODO and BUGS for the kernel