17e07ed
For RPi3 64 bit we need to put the 64bit config in place to boot Signed-off-by: Peter Robinson <pbrobinson@fedoraproject.org>