I certainly know that. Maybe Intel gave HP a bunch of free 4200 Hard Drives just for AMD systems.
I'm going to upgrade to a faster TravelStar one of these days. That's the only place where my old system beats the A64 system in that it has a 5400 RPM disk instead of the 4200 that HP shipped.