Move platform_inl.h to frontend_console.c