>>> ERROR: linux-rpi: Unknown CARCH: x86_64