config: print out Patmos configuration on hardware generation