DTC_CHANGE_BSD_KERNEL(8) - manual page | Administration and privileged commands

Rewrites the xen startup script with selected kernel.