I usually access the bios by clicking all the upper row keys as crazy. Last resource I search in the vendors manuals. About disk space, check with hearted, you can edit partitions there, even resize. Be careful though