foc: adjust panda timer to version A6

A6 runs at 800 not 700 MHz (as the ES2 does) when bootstrapped by U-boot

(thanks to mstein)

kernel/fiasco/src/kern/arm/bsp/omap/timer-arm-mptimer-omap4.cpp

@@ -7,10 +7,10 @@ private:
   static Mword interval()
   {
     /*
-     * This is only valid for Panda ES2, as we run it at our offices. For ES2
+     * This is only valid for Panda A6, as we run it at our offices. For A6
-     * U-Boot will clock the board at 700 MHz leading to a 350 MHz private timer
+     * U-Boot will clock the board at 800 MHz leading to a 400 MHz private timer
      * tick.
      */
-    return 349999;
+    return 399999;
   }
 };

l4/Makefile

@@ -290,13 +290,13 @@ Makeconf.bid.local-helper:
 
 Makeconf.bid.local-internal-names:
 ifneq ($(CONFIG_INT_CPP_NAME_SWITCH),)
-	$(VERBOSE) set -e; X="tmp.$$$$$$RANDOM.c" ; echo 'int main(void){}'>$$X ; \
+	$(VERBOSE) set -e; X="$(OBJ_DIR)/tmp.$$$$$$RANDOM.c" ; echo 'int main(void){}'>$$X ; \
 		rm -f $$X.out ; $(LD_GENDEP_PREFIX) GENDEP_SOURCE=$$X \
 		GENDEP_OUTPUT=$$X.out $(CC) $(CCXX_FLAGS) -c $$X -o $$X.o; \
 		test -e $$X.out; echo INT_CPP_NAME=`cat $$X.out` \
 			>>$(DROPSCONF_CONFIG_MK); \
 		rm -f $$X $$X.{o,out};
-	$(VERBOSE)set -e; X="tmp.$$$$$$RANDOM.cc" ; echo 'int main(void){}'>$$X; \
+	$(VERBOSE)set -e; X="$(OBJ_DIR)/tmp.$$$$$$RANDOM.cc" ; echo 'int main(void){}'>$$X; \
 		rm -f $$X.out; $(LD_GENDEP_PREFIX) GENDEP_SOURCE=$$X \
 		GENDEP_OUTPUT=$$X.out $(CXX) -c $$X -o $$X.o; \
 		test -e $$X.out; echo INT_CXX_NAME=`cat $$X.out` \