The attached patch adds support for aarch64-linux to linux-libre, based
on the configuration provided in Debian's linux-image-4.16.0-1-arm64
package.

Tested booting on pine64+ running Debian; GuixSD possibly soon to
follow...

live well,
  vagrant