x86: provide a bad_dma_address symbol for i386