Not sure if we'll get a response, but for the heck of it I replied to the anonymous e-mail and asked about the others (RIV, PUB, CTYPE, etc) assuming this is the ERK value. We'll see what happens I suppose... all we can do is hope for the best really.
From a Spanish developer here is what appears to be missing:
: With PS3Tools, unpackage the 4.25 update. Open update_files.tar with winrar and extract CORE_OS_PACKAGE.pkg. Decrypt CORE_OS_PACKAGE.pkg and then extract. This is where it hangs on me, but I do get a lv1.self. However, I don't know if it's complete. Never had a reason to check file size. http://rghost.net/40985532
: here is the Core_os.pkg unpacked http://rghost.net/40985732