arm_64bit=1
enable_uart=1
uart_2ndstage=1
enable_gic=1
dtparam=audio=on
hdmi_ignore_edid_audio=1
armstub=RPI_EFI.fd
disable_commandline_tags=1
disable_overscan=1
device_tree_address=0x1f0000
device_tree_end=0x200000
