Hi Martin & Maxime,

I've tested if the system image builds after merging patches for the
vboot-utils package.

$ guix system build -s armhf-linux test.scm

Unfortunately I don't own the ARM Asus C201 Chromebook so I can't test the live system.

Could you Martin test please? I used commit 7af3b822178782d6598865e1d6a780a756dd0cb3.

Petr