Avoid 64 bit mul+div in platform_timer_get_diff_us() when timer rate is 1 MHz.
Now clears FIFO empty interrupt mask in DCD_WriteEmptyTxFifo() when transfer completes.

This fixes a problem whereby outputting to the USB UART when the host is
connected but the USB UART is not open would cause the interrupt
handler to be called continuously so it would consume 100% of the CPU.
Avoid 64 bit divide in cmd_systimer_get().
Avoid losing time when cmn_systimer_counter exceeds PLATFORM_TIMER_SYS_MAX.

Setting cmn_systimer_counter to zero when the systimer exceeded
PLATFORM_TIMER_SYS_MAX would cause time to jump backwards if
cmn_systimer_counter was already greater than PLATFORM_TIMER_SYS_MAX.

So now, instead of zeroing it, we subtract PLATFORM_TIMER_SYS_MAX.
Correct value of PLATFORM_TIMER_SYS_MAX for lua long builds.

It was being set to ( ( 1LL << 31 ) - 2 ) which only used 31 bits when 32
are available. By setting it to ( ( 1LL << 32 ) - 2 ) the range of the timer
is doubled to around 4295 seconds. Note that time values greater than
approx 2147 seconds will have the top bit (1 << 31) set and so will appear
to be negative as all numbers are considered to be signed.
Add CAN bit timing values for use with 120 MHz and 96 MHz system clocks.

The values used produce sampling points around 65-70% which is similar
to the original set of values.

Values courtesy of http://www.bittiming.can-wiki.info/
Merge pull request #40 from smartavionics/mb-stm32f4-can-timing

Add CAN bit timing values for use with 120 MHz and 96 MHz system clocks.
Merge pull request #39 from smartavionics/mb-misc-mods

Mb misc mods
Change a couple of #warn directives to #warning.
Merge pull request #42 from smartavionics/mb-misc-mods

Change a couple of #warn directives to #warning.
Merge branch 'master' into mb-stm32f4-cpu-additions
Add functions to read STM32F4 MCU id and unique device id.

stm32f4.cpu.read_mcu_device_id() returns a number containing the 32 bit id.

stm32f4.cpu.read_unique_device_id() returns an array of 3 numbers. The first
number contains bits 0-31, the second number contains bits 32-63 and the
last number contains bits 64-95 of the unique device id.