Are there any specific kernel config options to get the console to work on UART4?I feel like I've tried every permutation of build, DT, and loading configuration at this point.I'm working on a custom board with a new 'machine' building on the Distrib...