I have an ersatz kernel in the making and I thought I might give a go to porting overkill. It's 32 bit, so would run into the pointer bugs you mentioned.... Is the source somewhere accessible? Github or something like that? I could give a look at fixing some of the problems on macOS or Linux if nothing else.