[commits] [doc] main: Kernel_Debugging: Fix index of various pages (5b46234c)