[Bug 437400] Review Request: msr-tools - tools to read/write processor model specific registers