modify kickstart to use MAP to keep itself mapped, rather than
dedicated kickstart_en line.
run CPU at 48MHz for now, since that seems feasible without too
much fiddling.
improve timing of next_card_number generation.