überSpark: refine CPU hardware model organization and integration with verification phase

This task re-organizes the CPU hardware model for x86 and ARM and integrates the revised models into the verification phase with the next-gen toolchain.

PR(s):

Merge(s):

Added PR and merge info to the OP. Changes merged to upstream repos. Closing task thread.