Add VMKit's MMTk sources