full_pepper.mk: this is device specific