Fix minor thing in flashing routine, we can't display running percentage number
while downloading with the LOG() mechanism...
TBM programming: we need to program both cores by adding 0xE0 and 0xF0 to the
register to be programmed.
Add comment: trimming is completely broken atm and we need to think of a smart
solution to this problem. Trim bits are in the same register as the mask flag
so they can only be written together.