How do you change the timeout for the splash screen? (The one where you hit F2 to make BIOS setting changes.) Long ago I changed this - made it fairly short, but now I can't remember the procedure, and I'd like to make it a bit longer.

(Inspiron 8200: BIOS rev. A11)