never-obsolete: PlayStation BIOS