[LPC4088] GCC: corrected alignment problem when setting up memory region for Ethernet driver