4GB 以上のメモリを有効にしたい

T61 のメモリを 4GB に増やしてみました。ですが Ubuntu デスクトップ版のカーネルでは 3GB 程度までしかメモリは認識しないようです。ググってみたところ、これ以上のメモリを使うには

  1. Server 版のカーネルを使う
  2. 64bit 版を使う
  3. カーネルを再構築する

の手段があるそうです。一番手間がかからないのは 1 だと思うのですが、現状から最も差異がない環境を作れるのは 3 のような気がします。そこでカーネルの再構築に挑戦してみました。手順は

  1. linux-source パッケージをインストール
  2. ソースを /usr/src に展開
  3. /boot から現行の config を .config としてコピー
  4. make oldconfig
  5. make menuconfig して HIGHMEM64G を有効にする
  6. make-kpkg -initrd --revision=hoge1 kernel_image
  7. できあがった deb をインストール

だけだとか。
これで実際に新しいカーネルで起動することができますが、3945ABG のドライバを読み込みません。Intel Wireless WiFi Link Drivers にチェックを入れて、3945ABG はモジュールとして組み込まれるよう、M フラグが立っているのですが……。