I have formatted my Mediastation X76 so many times over the years.
This machine still sounds great.
My screen is now blank, but I run it from a monitor via the video card.
And I could never quite work out the MIDI...I guess my chops stay sharp having to play everything precisely.
if it helps, it's definitely Debian. I have the disks labelled...not that I know much about Linux. If anything, this keyboard introduced me to a new world of computing.
I don't know if Domenico's youtube videos are still up, maybe there is some help to be found there.
Hopefully you get yours up and running Phil...
Len