bcm53xx: use the correct kernel image