Removed the extra dereference of __top_of_ram in the GNU ARMv8-A low-level initialization, so _tx_initialize_unused_memory now holds the first free address instead of garbage - #726