Comment change: added note to rpi_apb_core_frequency documenation comments that it represents the system default value