load_platform_drivers
if (&load_platform_drivers)
load_platform_drivers();
extern void load_platform_drivers(void);