@linesma says it’s first sign of UEFI trouble and need of ACPI parameters in grub, check this article:
But still…For Tuxedo it would be weird’ish so i’m not sure