Re: [PATCH] arm: mvebu: Remove unused ARMADA_64BIT