The SDK gets you the include files (e.g, cl.h) and library (OpenCL.lib, which loads OpenCL.dll at runtime). It does NOT select which devices your program can access. Therefore using either SDK should get you access to both devices, as well as any OpenCL GPU devices in your system.
Your program can then select from the available platforms and devices to select which one (or ones) it runs kernels on.