Thanks for your hints,
I have been running XBMC and now KODI on this ASRock mini PC for some years but wanted an installation without windows so I used KODIBUNTU but was on a forum recommened to use LibreELEC instead as KODIBUNTU is not longer supported.
I will see if the PC just need a BIOS upgrade.
Thanks