Which Kernel for Debian stable do I need for a machine with 2G ram? The machine is a HP DL140. Thanks, Jacob