Yes, I had to reboot for it to work. Also, I had to enable it in the BIOS. Now, I can save 500 milliseconds on boot up, by pressing "any key."