Add option CONFIG_DISABLE_A20 to control disabling A20 on boot.