raspi0 machine has incorrect memory mapping for devices