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
Discussion
*check with gparted. Damn autocorrect!
Thanks for reply. The usual BIOS button on startup isn't working. I'll try hearted , never heard of that. Thanks for helping !