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