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.
The IBM 286 can operate at frequencies below 20MHz as well.
>http://www.machine-information-systems.com/286_Processor.htm...
Link to separate repository: https://github.com/rodneyknaap/atx-486at-mainboard