- enable BOOT_PRINTK_DELAY for debugging