Brain transplant complete. My little miniPC now boots Ubuntu. All in all, installation wasn’t that bad. The printer was even automatically detected.