[tip: x86/urgent] x86/Kconfig: Reenable PTDUMP on i386