Hi @tuxedocomputers on your website you mention that Ubuntu & TuxedoOS are currently highly recommended for the Infinitybook 14 Pro AMD due to fixes that are not yet part of the mainline kernel. Do you have a way to notify customers of when these fixes are part of the mainline kernel? I'd prefer to use Debian 13 instead of Ubuntu, but afaiu this currently not supported?