I have good news for you guys!
When I was replacing my power supply, I noticed that the PCB
does already step down of the 12V to 5V.
In fact I was stupid because that was so obvious.
All chips run at 5V and not 12V (old ones, the new are at 3.3V), so the 5V would be there somewhere.
And in fact it is quite easy to use it.
Just use the existing jumper pins there:
Attachment 465
- - - Updated - - -
Hi Joao
Those pins might be used for the LCD extension, with the power supply and the serial pins.
And I guess the LCD will be something similar to a Pi, so the 5V have enough current for it.