Thank you very much for looking into this for me! What you said is 100% correct. 802.1x works if the user is already logged into XP.
I know for a fact that the exact same setup works on other switches (For example, Cisco). We have the XP systems setup properly to send the machine auth, but it looks like it never gets past the switch.