ARM: extend Code: line by one 16-bit quantity for Thumb instructions