platform/x86: ISST: use semi-colons instead of commas