Aggiornamento veloce: ancora non ho risolto il problema, ma ho provato ad aggiornare il BIOS, come mi era stato consigliato da un utente su Stack Unix & Linux [1]. Purtroppo non è cambiato niente. Saluti. -- Matteo Bini [1] https://unix.stackexchange.com/questions/536439/shutdown-and-reboot-not-working-in-debian-10-buster#answer-538648