src/cpu/x86/pae/Makefile.inc - coreboot - Gitiles

 bootblock-y += pgtbl.c
 verstage-y += pgtbl.c
 romstage-y += pgtbl.c
 postcar-y += pgtbl.c
 ramstage-y += pgtbl.c
 smm-y += pgtbl.c
	bootblock-y += pgtbl.c
	verstage-y += pgtbl.c
	romstage-y += pgtbl.c
	postcar-y += pgtbl.c
	ramstage-y += pgtbl.c
	smm-y += pgtbl.c