Hi Paul,
thanks for the tips. I confirm I have 3.3V on both the DCDC_PSWITCH and DCDC_IN pins. None of the components (resistors and caps) look shorted to GND, I guess something went wrong when soldering the microcontroller, I'll try to desolder it and resolder in place and see what happens...