mirage: avsm#split-libs merged to mirage#master

Signed-off-by: David Scott <dave.scott@eu.citrix.com>