FWIW, I escalated to our folks internally who deal with BIOS issues and they agreed with me that this is likely a UEFI bug that Ubuntu can't do much about; but I haven't heard anything back regarding escalating it to Samsung yet.
FWIW, I escalated to our folks internally who deal with BIOS issues and they agreed with me that this is likely a UEFI bug that Ubuntu can't do much about; but I haven't heard anything back regarding escalating it to Samsung yet.