[PATCH -v2] x86, 32-bit: Fix invalid stack address while in softirq

[Robert Richter]

Updated version below. Changes are:

    * add comments to kernel_stack_pointer()
    * always return a valid stack address by falling back to the address
      of regs

-Robert