Update 'Kernel Developer's Guide' in 'Infrastructure/Kernel/8.0/'