[fedora-arm] Re: Raspberry Pi Boot Selection

Sorry, it's the armhfp image. I never see a boot menu (is there one?) because after the colour splash screen everything is an interlaced mess until the second stage of the boot when progress starts scrolling up the screen. I was after a permanent method of changing the boot kernel, which I've now found after dissecting the scriplets in the kernel-core rpm - the kernel-install command. I've therefore fixed the immediate problem, when I've got more time I'll find what has changed between the two kernel versions to upset my screen. Thanks!