I am using a Linux-v4.9.212. For a better linux kernel boot process debug, I would like to view all possible messages during the linux kernel boot. I have tried to set 2 different parameters in the "chosen" part of the device tree (.dtb) for that debug purpose but it has not brought about a...