Symbol: bcm2836_platform_devmap