make.py: make a bit more generic

if parts of the soc are not available or not enables on a platform, do
not use their verilog cores.
remaining changes for lx9 microboard