Why bare-metal Debian is not a good choice for most Embedded Systems