printk: change type of 'boot_delay' to int *