New comment by Piraty on void-packages repository https://github.com/void-linux/void-packages/pull/12381#issuecomment-502719967 Comment: vboot-utils still marks aarch64 as broken despite your addition in `archs=`