The generator is a "small engine" device where hard starting is a common problem. I would think that you would want the larger capacity of the house battery system for starting the generator over a small battery only dedicated to starting the generator.
Using the house batteries for generator starting seems to be the standard installation on thousands of RV 5th wheels, and has worked successfully. Also, you don't have to buy (and maintain) another lead acid storage battery on your rig.