Don't check any subarch for the EfikaMX case, install whatever kernel is
apt-get install-ed; we can't get to a consensus on how to solve this
cleanly, so at least this will allow installation for people who know what
they are doing; LP: #671027.