>>537
Bios設定画面で「Above 4G Decoding」の項目を見つけましたが、
Disabledがグレーアウトしていて変更できませんでした。