Он должен отображаться в том же BIOS Setup, в самом первом разделе.
Кроме того, можно загрузиться с Live-CD или с какого-нибудь загрузочного диска с диагностическими программами.
Образы Live-CD можно скачать из Сети, knoppix например.
Ну и косвенный признак работы жесткого диска:звук.