I was originally thinking of validating that the partitions didn't overlap but I don't think that's worth the code space.  At some level, it must be assumed to be correct.  Same as how we assume you haven't configured two pins for two different functions at the same time in the board_hw_defs.c.  I'll just delete the TODO.