[PATCH] missing include of dma-mapping.h