ppc4xx: use correct io accessors for 4xx ethernet POST Signed-off-by: Matthias Fuchs <matthias.fuchs@esd-electronics.com>