I just upgraded my HP N54L Microserver to XPEnoboot 5.1-5055.1 from 5.1-5022.3 (what a mess, DSM would not show the login page even with an IP. I had to go back to 5.0-4528 and then back up).
Now the DSM shows the CPU is "Intel Core i3-4130." Is this "normal" for XPEnoboot?