Hey y'all! Trying to update the kernel in Ubuntu, but not other linux versions to my knowledge, results in a "flash-kernel: unsupported platform on EFI, doing nothing" error. Is there a fix to this or is one in the pipeline? Thanks!