Comment 62 for bug 1851518

John, thank your for your help. I was able to build and run a patched kernel. And even get the sound back, but only after a modification in the patch. I noticed Mike created the patch for your machine, but named it "Samsung Galaxy Book Ion (NT950XCJ-X716A)". This is incorrect because NT950XCJ-X716A is my 15-inch machines, but you said you have a 13-inch machine.

Could you please let us know what is your model (via `sudo dmidecode -s baseboard-product-name`) ?

Then we can submit a new patch that correct the original one, and also add support for my model.