Adding headers to mbed.h will prevent you having to manually include them when using the drivers in an application.