Shift + restart takes you to boot options menu. This also worked on one client:
netsh int ip reset
​ipconfig /flushdns

there seems to be a problem with Hybrid Shutdown after Windows Update. You can solve the problem by holding down shift when pressing shutdown. After it should be ok