P4 powerup register value

[Stefan Reinauer]

* Peter Stuge <stuge-linuxbios at cdy.org> [040930 15:07]:
> Hmm? eax, ebx, ecx and edx are the 32 bit standard registers that
> have been around since the 386. I believe they don't have any meaning
> at power on. Their values, if defined, would be listed in a
> programming manual for the P4. (Or the 386.)

Some actually do have a meaning. Have a look at the freebios2 tree:

        freebios2/cpu/i386/bist32.inc

Stefan