patmos: Added option to force emitting block labels for all targets