With this Kernel Switcher you can replace the AT28C256 with a W27C512, to switch between 2 Kernels.
Files:
-> Informations
-> Empty ROM Files
Developed by Matthias