Device tree boot mapping issue