hppb: Add missing dma-mapping.h include