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

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Merge pull request #17 from djs55/mirage-split-libs

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