Platform dumps are saved in Linux under the /var/log/dump/ directory.
Report the dump only if you are directed to do so by your next level of support or service provider.