cpu: fix build if SMP is not enabled

Change-Id: I9918d74ed5b13a4030fb21f97c2c6eaf62ce199a
1 file changed