Move ebx_available and ebp_available from CONFIG_LIST to HAVE_LIST,

it's not configurable by the user.

Originally committed as revision 8795 to svn://svn.ffmpeg.org/ffmpeg/trunk

configure

@@ -566,8 +566,6 @@ CONFIG_LIST='
     bktr
     dc1394
     dv1394
-    ebp_available
-    ebx_available
     ffmpeg
     ffplay
     ffserver
@@ -626,6 +624,8 @@ HAVE_LIST="
     dev_video_bktr_ioctl_bt848_h
     dlfcn_h
     dlopen
+    ebp_available
+    ebx_available
     fast_64bit
     fast_cmov
     freetype2

libavutil/x86_cpu.h

@@ -57,7 +57,7 @@
 #  define REGSP   esp
 #endif
 
-#if defined(ARCH_X86_64) || (defined(ARCH_X86_32) && defined(CONFIG_EBX_AVAILABLE) && defined(CONFIG_EBP_AVAILABLE))
+#if defined(ARCH_X86_64) || (defined(ARCH_X86_32) && defined(HAVE_EBX_AVAILABLE) && defined(HAVE_EBP_AVAILABLE))
 #  define CONFIG_7REGS 1
 #endif