original_kernel/include/soc/bcm2835
..
raspberrypi-firmware.h