Re: [PATCH 7/9] docker: Drop coreboot for arm64