i2c: Move PPC4xx I2C driver into drivers/i2c directory

[platform/kernel/u-boot.git] / include / configs / vct.h

diff --git a/include/configs/vct.h b/include/configs/vct.h
index 20bf481..1b894a6 100644 (file)
--- a/include/configs/vct.h
+++ b/include/configs/vct.h
@@ -284,12 +284,6 @@ int vct_gpio_get(int pin);
 #define CONFIG_BOOTDELAY       5       /* autoboot after 5 seconds     */
 
 /*
- * Needed for 64bit printf format
- */
-#define CONFIG_SYS_64BIT_VSPRINTF      1
-#define CONFIG_SYS_64BIT_STRTOUL       1
-
-/*
  * UBI configuration
  */
 #if defined(CONFIG_VCT_ONENAND)