# For UniCore32 machines and boards