Ok. Según este url
https://ubuntuforums.org/showthread.php?t=1042487&s=96cd3405599be8474233be2054c0f101&p=8078378#post8078378
ha pasado a muchos usuarios con distintas distribuciones gnu linux e incluso
con distintos USB.
El problema según la respuesta, pasa por la configuración de BIOS.
Sds