ARM: S3C24XX: Add note on GPIO bank sizes