fix paging
remove kernel.txt