arm_64bit=1
kernel_address=0x80000
initial_turbo=0
kernel=kernel_2712.img
