Where does the linux kernel put local variables