boot.c query_boot_number Synopsis int query_boot_number() Returns int - current boot number Description Get the current boot number.