It was known for some time that 2458 was corrupted but what that is actually corrupted is the kernel file (ntoskrnl.exe) and, currently, the only way to fix it is to rename null.sys to ndis.sys but, this disables networking so, to get networking properly, use ntoskrnl.exe from 2457 (do NOT replace the hal.dll kernel file, it is fine on 2458)

Cool.
I'll try that out soon and report if it works.