Code

xencpu plugin: Remove unnecessary semicolons.