Ks pxelinux special devices: add improved logging and checking

Refinement of #95