https://www.technexion.com/support/knowledgebase/boot-configuration-settings-for-pico-baseboards/