EDAC/armada_xp: Use scnprintf() for avoiding potential buffer overflow