Linux kernels patched for use with the IBM Functional Simulator (previously the IBM Full-System Simulator)