Yeah, I've seen(or not seen) a few directories/files I know are on the player, like /drive0, that didn't show up in the FTP directory listing. I don't know if it was intended to be like that, but I can still cd into them just fine.
Why would you want to read/download /proc/empeg_kernel anyway? I thought that was a "virtual" file used for uploading only?