This prebuilt Linux image is built from the version in third-party/linux, and can be updated easily from the main Hafnium checkout directory:

$ make update-prebuilts