x86: Rationalise kernel booting logic and bootstage