[RFC PATCH v3 00/19] RFC: nested AVIC