Lots of info on the 51xx series of machines is here: https://www.minuszerodegrees.net/index.htm
I wonder if he looked at any clone motherboards from that time, or a few years later? 16MHz and 20MHz 286s were quite common before the 386 took over, and they probably had to make some changes too (and came a few years after the PC AT, and so probably had a lot of improvements; the AT came out in 1984, but the clone 286s were still pretty strong in the late 80s).
https://dfarq.homeip.net/ibm-5162-pc-xt-286-the-at-in-xt-clo...
In any case, from the description:
Luckily I found an Ebay auction which offered an IBM 5170 mainboard for a very reasonable price.
I proceeded to draft modern KiCad schematics for the 5170 and subsequently modified the IBM designs to suit this project as much as possible.