Driver_FLASH0 SystemInit bl1_aes_256_ctr_decrypt bl1_derive_key bl1_otp_read_key bl1_sha256_compute bl1_sha256_finish bl1_sha256_init bl1_sha256_update bl1_trng_generate_random computed_bl1_2_hash pq_crypto_verify stdio_init stdio_output_string stdio_uninit tfm_plat_init_nv_counter tfm_plat_otp_read tfm_plat_read_nv_counter tfm_plat_set_nv_counter __ubsan_* log_error log_error_permissions_check