(XDK) Build fixes - note to Alcaro and others - we need to enforce
C89 for this core