UF_MAPPED and machine dependent pcb.h