This has since been changed to /proc/empeg_kernel. The dev entry had to be manually created to be able to flash it.