CPUs von Intel und ARM: Linux und der Umgang mit datenabhängigem Timing