Fix a bootloader pointer type to be 64bit compliant.

[nicolas-rabault]

PR Description section

Description and dependencies

Please include here a summary of the changes and the related issue. List any dependencies that are required for this change.

Changes

Please choose the relevant options:

• Bug fix (non-breaking change which fixes an issue)

Related issue(s)

Provide a list of the related issues that will be fixed by this PR.

---

WARNING: Do not edit the checklist below.

---

Developer section

• [Documentation] is up to date with new feature
• [Tests] are passed OK (non regression, new features & bug fixes)
• [Code Quality] please check if:
  • Each function has a header (description, inputs, outputs)
  • Code is commented (particularly in hard to understand areas)
  • There are no new warnings that can be corrected
  • Commits policy is respected (constitancy commits, clear commits comments)

QA section

• [Review] tests for new features have been reviewed
• [Changelog] is up-to-date with expected tags
  🆕 Feature: [Feature] Description...
  🆕 Added: [Feature] Description...
  🆕 Changed: [Feature] Description...
  🛠️ Fix: [Feature] Description...