Yeah, I now remember I intended to change the config for network so that you could only give a single default gateway, which makes sense. However, I failed to do that, so I may as well make the actually nic config scripts attempt to do the right thing.