Add a parameter on platform_booting to help detect if it's on GUI on console and use it in appropriate places, it fixes #4049