root/src/system/kernel/platform/efi/platform.cpp 
/*
 *  Just a dummy for now.
 */