I'm wondering if, in a embedded linux board after the initial booting phase, if I surfing the filesystem using the terminal, is there a place where I can read which dtb file is currently in use from my system? A log stored in filesystem or something similar?