Adding a dummy VoCore machine skeleton using the old framework (with the wrong CPU type 4KEc instead of 24K).
Authored by: debug 2018-07-06
Parent: [r5930]
Child: [r5932]
