[coreboot] non static < 0x1000 IO space can be broken

[Rudolf Marek]

Hi,

Kevin just noticed that recent change in devices.c removed the IO alloc start on 
IO port address 0x1000, so all code which relies on the fact that 0x1000 and 
down can be done for static device allocation like in vt8237r.h and k8t890.h 
will fail now. This needs to be fixed with proper static resource to the 
read_resources. I'm trying to fix this together with Kevin.

Maybe other chipsets/boards will need similar fixups!

Rudolf