ppc4xx: Fix/Update katmai board header