Reenable SMP for armv7l, it works now