move the pgtbl/captbl/ertrie into the src/kernel/include directory