These are checked versions and symbols for rndismp.sys and usb8023.sys that are part of the release of Windows XP.  The free versions of these files are included with Windows XP and always installed in %windir%\system32\drivers.  If you wish to debug with these files you must replace the existing files on an XP installation (note you must turn System File Protection off, see DDK).