[ros-diffs] [fireball] 27317: - Always use PsLoadedModuleList as a list of modules. - Load kernel and hal symbols during BootPhase 1 initialization of this KD wrapper.