Merge "plat/tc0: Change to 8 cores for Theodul"