Towards Making a LEON3 Multicore Compatible with Probabilistic Timing Analysis