Update bios.rst