#
 # NXP PNX8550 JBS board
 #
-libs-$(CONFIG_PNX8550_JBS)     += arch/mips/pnx8550/jbs/
+core-$(CONFIG_PNX8550_JBS)     += arch/mips/pnx8550/jbs/
 #cflags-$(CONFIG_PNX8550_JBS)  += -I$(srctree)/arch/mips/include/asm/mach-pnx8550
 load-$(CONFIG_PNX8550_JBS)     += 0xffffffff80060000
 
 # NXP PNX8550 STB810 board
 #
-libs-$(CONFIG_PNX8550_STB810)  += arch/mips/pnx8550/stb810/
+core-$(CONFIG_PNX8550_STB810)  += arch/mips/pnx8550/stb810/
 load-$(CONFIG_PNX8550_STB810)  += 0xffffffff80060000
 
 cflags-y                       += -I$(srctree)/arch/mips/include/asm/mach-generic