Use the EL3 RI (spec API + bundled impl).