x11-drivers/mali-drivers: Set ABI to armhf