Hello, I have an HP Elitebook 8530P. I was considering upgrading the processor from the Socket P T9400 CPU to an E8435 cpu. Now, this CPU was produced for use in MACs, but it uses the standard socket P, so to the best of my understanding, the issue then is of BIOS support. Assuming that HP didn't include support for this Mac only CPU produced after the Elitebook, how difficult would it be to modify the BIOS to support the CPU (clock multipliers, etc.) I would greatly appreciate any insight.