Default to armmp kernel for armhf architecture.

From: Vagrant Cascadian <vagrant@debian.org>
Bug: #776975

diff --git a/vmdebootstrap b/vmdebootstrap
index 63ade3aaa6d1aa54251c53338c672ee182beefe6..4d0ce90bbf6c16d18f18de99a03f983d72d5e2d7 100755 (executable)
--- a/vmdebootstrap
+++ b/vmdebootstrap
@@ -27,7 +27,7 @@ import tempfile
 import time
 
 
-__version__ = '0.6'
+__version__ = '0.7'
 
 # pylint: disable=invalid-name
 
@@ -423,6 +423,8 @@ class VmDebootstrap(cliapp.Application):  # pylint: disable=too-many-public-meth
         if not self.settings['no-kernel']:
             if self.settings['arch'] == 'i386':
                 kernel_arch = '486'
+            elif self.settings['arch'] == 'armhf':
+                kernel_arch = 'armmp'
             else:
                 kernel_arch = self.settings['arch']
             kernel_image = 'linux-image-%s' % kernel_arch