c45784b8c4
This commit fixes the systimer_counter_value_t by adding a resreved field so that the type fills 64-bits. Without the reserved field, when compiling with -O0 optimization, the unoccupied high bits would not be initalized by the compiler, leading to systimer_hal_get_counter_value() returning a garbage value.