Notice the log says platform ID CokD10, which points to the DIA-001 motherboard. This in turn was the CECHHxx's board, which featured a 90nm RSX.
My guess is the shell you are using was originally for a CECHMxx console, but for whatever reason ended up being used as a donor for your system...