Kernel for the i486 architecture