Symbol: pic32_get_boot_status