how I should proceed
Spend somewhere between months and years learning tools and x86
firmware, and proceed to then spend much less than that on creating
the actual port.
I know that this isn't very helpful. It isn't realistic to expect
the kind of help that I'm afraid you might need.