diff --git a/src/cpu/amd/model_fxx/model_fxx_update_microcode.c b/src/cpu/amd/model_fxx/model_fxx_update_microcode.c
index eb9e9eb74c..745437084b 100644
--- a/src/cpu/amd/model_fxx/model_fxx_update_microcode.c
+++ b/src/cpu/amd/model_fxx/model_fxx_update_microcode.c
@@ -54,7 +54,12 @@ static u16 get_equivalent_processor_rev_id(u32 orig_id) {
 	#endif
 
 	#if CONFIG_K8_REV_F_SUPPORT
-		/* FIXME */
+		/* FIXME
+		 * Microcode files for CPU revision 0xf do
+		 * not seem to be available...
+		 */
+		{ 0x40f10, 0x0410 },
+		{ 0x40f13, 0x0410 },
 	#endif
 
 		/* Array terminator */