NVRAM_BOOTPREF
showOS (readNVRAM (fd, NVRAM_BOOTPREF));
writeNVRAM (fd, NVRAM_BOOTPREF, bootpref[ARRAY_OS]);