Ack the correct IPIs.
Add 2 thread simulation kernel config.
Add 2 core DE4 config.
Add 2 thread DE4 config.
Add a SoCKit configuration.

The dts file contains a number of commented out entries for things that
I believe should be supportable in some form based on an examination of
the Terasic specfications webpage.