There are some packages that are obviously related to embedded
(e.g. u-boot from bootloaders.scm, arm-trusted-firmware from
firmware.scm) and bootstrapping (mes.scm).

Patch attached.

live well,
  vagrant