[Cooker] Doubt: x86_64 or i586?