Thanks for your reply. I found the solution by accident. Because my audio exhibited the same problem I tried installing Realtek's audio driver (HDA driver R2.64 from www.realtek.com). After this audio started working after a cold boot and, miraculously, the WiFi slider switch now also works from cold boot! How an audio driver can influence WiFi is beyond me, but hey, I'm not complaining.