defconfig: disable arch has own timer, enable spmi

Change-Id: I6abd2e5517697a3f57974bfd5caa5a22d1ae9ff5