Similar to what @FW4TeePee said above, I have seen USB C power issues and I have documented in the BIOS 3.04 thread