存储系统BIOS的用户设置的硬件配置数据的存储器是（）。