Add the mirage kernel frontend

This is not hooked into the build yet.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
kernel: update following module renames

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