VBoxServiceCpuHotplug.cpp revision 08b99616feefa419e83d5bc3b381f97ff00a9ed1