The platform.dist() interface has been deprecated since Python 3.5, and
has been removed in Python 3.8.
Fixes:
Traceback (most recent call last):
File "/home/anders/work/rtems/rsb/source-builder/sb/options.py", line 682, in load
overrides = linux.load()
File "/home/anders/work/rtems/rsb/source-builder/sb/linux.py", line 60, in load
distro = platform.dist()[0]
AttributeError: module 'platform' has no attribute 'dist'
Signed-off-by: Anders Montonen <Anders.Montonen@iki.fi>