[RFC PATCH v2 26/31] kvx: Add multi-processor (SMP) support