diff --git a/images/Makefile.at91 b/images/Makefile.at91
index 686d501..dc6c1db 100644
--- a/images/Makefile.at91
+++ b/images/Makefile.at91
@@ -2,6 +2,6 @@
 # barebox image generation Makefile for AT91 images
 #
 
-pblx-$(MACH_AT91SAM9X5EK) += start_at91sam9x5ek
+pblx-$(CONFIG_MACH_AT91SAM9X5EK) += start_at91sam9x5ek
 FILE_barebox-at91sam9x5ek.img = start_at91sam9x5ek.pblx
-image-$(MACH_AT91SAM9X5EK) += barebox-at91sam9x5ek.img
+image-$(CONFIG_MACH_AT91SAM9X5EK) += barebox-at91sam9x5ek.img