-/* USB Host support */
-#define CONFIG_USB_EHCI
-#define CONFIG_USB_EHCI_TEGRA
-
-/* USB networking support */
-#define CONFIG_USB_HOST_ETHER
-#define CONFIG_USB_ETHER_ASIX
-
-/* General networking support */
-
-#define CONFIG_KEYBOARD
-
-#undef CONFIG_LOADADDR
-#define CONFIG_LOADADDR 0x82408000
-