To make it clearer that these addresses are both for firmware text and that they have a prescribed ordering.