GentooPlayer - Immagini x86_64, Raspberry PI 3B/3B+, Allo SparkyUsbBridge, BeagleBone Black + Botic Driver

[87mpi]

che risultato ti da
cat /etc/default/grub

GRUB_DISTRIBUTOR="GentooPlayer"
GRUB_SAVEDEFAULT=true
GRUB_DEFAULT=saved
GRUB_TIMEOUT=5
GRUB_DISABLE_SUBMENU="y"
#GRUB_CMDLINE_LINUX="threadirqs intel_idle.max_cstate=0 isolcpus=3 vsyscall=none elevator=noop"
#GRUB_CMDLINE_LINUX_DEFAULT="quiet splash threadirqs transparent_hugepage=never noapic clocksource=hpet_pm_pm_pm_pm_pm"
GRUB_CMDLINE_LINUX="threadirqs intel_idle.max_cstate=0 vsyscall=none net.ifnames=0"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash transparent_hugepage=never clocksource=hpet_pm_pm_pm_pm_pm noibrs noibpb nopti nospectre_v2 nospectre_v1 l1tf=off nospec_store_bypass_disable no_stf_barrier mds=off mitigations=off"
GRUB_BACKGROUND="/boot/grub/gp2.png"
GRUB_DISABLE_RECOVERY="true"

cat /sys/devices/system/clocksource/clocksource0/available_clocksource

tsc hpet acpi_pm

Sono sicuro di averlo già impostato in altre occasioni, solo che non capisco il motivo per il quale non riesco più ad impostarlo

https://drive.google.com/file/d/1U6rRY_v7YcUT0APWvoK1DvLESywEIpru/view?usp=drivesdk
Qualsiasi sia l'impostazione, dopo in riavvio mostra sempre TSC in current clocksource

Grazie
Antonio