How much work is involved with porting ardunio to a new platform board?
Well, that depends. It's generally pretty easy to get a compile and some of the basics working. And then there's this LONG tail of getting all the other (harder) things working, with (if you "release") a never ending list of complaints that some relatively obscure library doesn't work... (for example, there's still a fair amount of complaint that Arduino Due didn't get all of the attention that it deserved, and the stuff that Adafruit customers are discovering doesn't quite work on SAMD51 keeps getting added to.)
While i'm quite happy working with the development environment i'm using, i do appreciate that its much tougher than ardunio.
Arduino is frequently easier because you can just go out and find code that someone else has written that will be pretty close to what you want to do. That won't be true, if you're using your own core for some outlying chip, and mostly working on some obscure peripheral...
That said, I find that the Arduino core is "not awful" in terms of what it "abstracts."