V0.8 All working with dynamic cores, shared mailbox, l2 disabled, without dcmflush: test checkhrc, simpledesC