am335x: Move non-os plat code from sel4platsupport

These functions are used to implement the am335x ethernet driver and
aren't used anywhere else and so have been migrated here.