diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in
index 54c3015c54..32ae85de2a 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_2_4 if TARGET_ps3_petitboot
+	default GCC_VERSION_4_3_3 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 98d553f73d..a8f0cde762 100644
--- a/toolchain/gcc/Config.version
+++ b/toolchain/gcc/Config.version
@@ -46,5 +46,7 @@ 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_petitboot
 endif