Use the new devicetree API in a file which cross-checks dt reg base addresses with values from the vendor HAL. Signed-off-by: Martí Bolívar <marti.bolivar@nordicsemi.no>