diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index 61321f587b..fde5def17b 100644
--- a/toolchain/gcc/Config.in
+++ b/toolchain/gcc/Config.in
@@ -6,7 +6,7 @@ choice
 	default GCC_VERSION_4_2_4 if TARGET_avr32
 	default GCC_VERSION_4_2_4 if TARGET_ppc40x
 	default GCC_VERSION_4_2_4 if TARGET_ppc44x
-	default GCC_VERSION_4_3_3 if TARGET_ps3
+	default GCC_VERSION_4_2_4 if TARGET_ps3_petitboot
 	default GCC_VERSION_4_1_2
 	help
 	  Select the version of gcc you wish to use.
diff --git a/toolchain/gcc/Config.version b/toolchain/gcc/Config.version
index 767f66ddea..1193580e16 100644
--- a/toolchain/gcc/Config.version
+++ b/toolchain/gcc/Config.version
@@ -40,7 +40,5 @@ if !TOOLCHAINOPTS
 		default y if TARGET_avr32
 		default y if TARGET_ppc40x
 		default y if TARGET_ppc44x
-
-	config GCC_VERSION_4_3_3
-		default y if TARGET_ps3
+		default y if TARGET_ps3_petitboot
 endif