Ks pxelinux special devices: add improved logging and checking

Refinement of #95 
Unneeded semicolon.