how does one specify phatk110714.cl or poclbm110717.cl ?
One does not. The poclbm kernel is far far behind the phatk kernel in speed and any hardware that can run the phatk kernel is given it. The poclbm kernel is reserved for nvidia cards and ATI 4x cards only. The phatk kernel, even without bitalign patching, crashes on these lesser mining cards.
Phoenix with phatk worked on my 4850, and that was faster than poclbm.