Hello @ulissess - Welcome to the IPFire community!
There are similar issues in this thread. But I dont see a solution in the thread.
And there are some possible fixed in that long thread. It maybe an SD Card or a Power Supply or ?
Do you know what version RPi4B you have?
Somewhere along the way RPi changed hardware (and versions) that may cause issues.
You can read about some of the issues at the top of this page.
Here are the RPi4B boards:
The above is copied from here:
https://elinux.org/RPi_HardwareHistory
If you can boot via the raspian os sd card, then it is easy to get the board version:
cat /proc/cpuinfo | grep -A3 'Hardware