Arduino inline assembly: 16 bit x 8 bit multiplication!