Todo lo que hay en /dev son archivos especiales. No son archivos en sí, son archivos asociados a dispositivos, de poco te sirve que alguien te lo pase, no tienen NADA. Puedes probar ha hacer un
touch /dev/ps3flash para crearlo
De todas maneras, prueba ha hacer el boot-game-os desde kboot, en ese momento debe dar igual que distro o archivos tengas o no tengas instalados
Saludos