EMC² auf Linux mit Echtzeitkernelpatch