Provide PRIxBUSADDR, PRIxBUSSIZE, PRIuBUSSIZE, and PRIxBSH for all arches
to follow arm and (generic) mips.

Reviewed by christos.

use __paddr_t since this is a userland API.

Straggler from last: add bus_user.h to the repository.