Ah, found out why `xPSR.T` was 0:
My `fw.elf` file's first section (`address 0x0800 length 0x20c4`) is a
bootloader, which is generated/included via (approximately) the following steps:
```
$CC -o boot.elf $BOOT_OBJ
$OBJCOPY -O binary boot.elf boot.bin
$LD -r -b binary boot.bin -o boot.o
For others running into this: turns out the magical flag for `objcopy` is
`contents`, without which it zeros the section's content.
---
** [tickets:#203] programming st_nucleo_f7 (stm32f767) bank 2 consistently
fails**
**Status:** new
**Milestone:** 0.9.0
**Created:** Mon Aug 20, 2018 09:55 P
