to boost or not to boost

Then I suppose getting the Arduino MKR with built-in charging circuitry is a better and safer option than implementing your own charging circuitry.

Unless the Arduino MKR itself is not safe or advised for hobbyist...