etc/options

--- a/etc/options	Sun Oct 09 16:28:28 2022 +0200
+++ b/etc/options	Wed Oct 12 11:15:36 2022 +0200
@@ -163,6 +163,9 @@
 public option ML_system_64 : bool = false
   -- "ML system for 64bit platform is used if possible (change requires restart)"
 
+public option ML_system_apple : bool = true
+  -- "prefer native Apple/ARM64 platform (change requires restart)"
+
 public option ML_process_policy : string = ""
   -- "ML process command prefix (process policy)"