Adapt manual pages to change in boot code to support using