The laptop mentioned requires a 200W charger (dedicated GPU, high-end CPU). This is double what the USB PD specs allow.

A lot of Lenovo laptops have one USB-C port which doubles as the power cable. I'm typing on a Thinkpad right now with that very configuration. My daughter's Chrmoebook is the same way. She bent the USB-C port on it and now it won't charge. I'm being really, really careful with my Thinkpad.

They actually do have USB-C power in many models.

There of course is - you don't write a perfectly useless kernel patch - you ain't coolandfun andthatsit.