i’m in the middle of this process now, and just frustrating myself. i’ve forgotten too much of the inner workings of the kernel - that is, my old knowledge doesn’t apply anymore. I’ve got a dualboot working, but can’t for the life of me get the wifi module to load. not relevant to this thread, so i won’t dirty it up. but, thank you for getting my head in the right space!