How do I restart into the Third-Party Option ROM Management application?

Restarting into this application can be done by pressing F3 during startup, as mentioned within the BIOS utility description for HP computer setup (page 7).