Can we define 3.3V as a constant instead of a magic number? Also name it appropriately - does it reflect the voltage the board is powered at (which then might be wrong on other targets and should probably come from the board file) or is this an internal vref?