Your right, I also found in the bios, it is the HP Pavilion dv3, and it actually "shipped" with
a 64 bit version of windows vista,..
When I bought it, about a year ago, it had windows vista,..but was real "sluggish" .
So any way, I installed debian 7, and it ran much better,....
Now with OpenBsd,
it is running really pretty nice,.....in any event, I am curious to see if there will be
a difference, so I am going to try the amd64 OpenBsd,..
Thanks