Linux kernel modified for the PUMA platform