Clarify that the goal is not to actually write a hardware virtualization layer in PHP.

That would be stupid.