rest: boot configuration for unregistered device
rest: add default kernel arguments