Here's a show-stopper patch for Alpha; missing it prevents several of
our platforms ("white box" 3000 and 5000 series) from booting.