Aber gerade bei open source software gibt es ja sicher eine quelle und eine anleitung, um auch die aktuelle Version selbst zu flashen, so wie z.B. github.com/Nitrokey/ubuntu-oem zur Erklärung, wie ubuntu vorbereitet wird. Gibt es auch die Möglichkeit, beim Start Optionen im Bios zu verändern (wie bei anderen Rechnern mit F2)?