autoboot.c: Move config options to Kconfig