In the meantime, I decided anyway to use a TLE431 or to be more exact, a TS431BCX or TS431ACX. I already updated the schematics, did the layout and all. For the moment I set the TLE431 to 5V (R1=R2=22k) and used a 22Ohm series resistor. I still have to think about both, the value for the series resistor and the voltage level. For the moment, my idea was like: at 5.5V, and with the TLE431 set to 5V, 0.5V are dropped on the 20Ohm resistor. 0.5Volt/22Ohm = 0.023A = 23mA. At 6V it would be 45mA, so my guess it that I can never really reach or exceed 6V. Well, and there's also a LED which always draws 5mA at 5V, so there's always a bit of load.
Problem with a 5V LDO is that the DC/DC is an isolated 5V to 5V converter, so I can't really guarantee that the dropout voltage is high enough for the LDO to work correctly. Might still work though, but feels like a hack. Besides, very low dropout LDOs are usually a little picky about their input voltage. E.g. a 3.3V TLV1117LV has an maximum input rating of 6V while a DC/DC without load can reach twice its output voltage (e.g. 10V instead of 5V). Besides, I don't really get why adding an LDO after the DCDC would be more efficient. It's the same principle after all: it drains current if the voltage gets too high. More or less the only difference is that the main current is not going through the TLE431 while it would go through an LDO after the DC/DC. Which means some additional losses due to the internal resistance.