Under award bios the power button did an instant off. Under linuxbios I have to hold the power button down for 4 seconds to get the power to go off. I vaguely remember reading about controlling the power button, but I can't find it in the docs. Does anyone know how to fix this?