Some of the calls weren't necessary and some others were duplicated.
This patch tidies up the platsmp.c file.
Signed-off-by: NCatalin Marinas <catalin.marinas@arm.com>