GRUBでのUSBキーボードの認識

起動時に表示されるGRUBのメニュー画面では、デフォルトではUSBキーボードが認識されません。
ANGIE WORKSHOPさんの記事の通りに設定を変える必要があります。
# これはUbuntuではなくGRUBの問題です。

私の場合、BIOSの設定画面から[Features Setup]→[USB Function For DOS]を「Enable」にすることでUSBキーボードが使えるようになりました。
今まではいちいち/boot/grub/menu.lstの「default」の値を変えてました...。