Documentation, add kernel-parameters.txt entry for dis_ucode_ldr