- Actually merge the assorted K3 platform improvements that were supposed to be in commit 247aa5a1 ("Merge branch '2023-07-21-assorted-TI-platform-updates'")