TQ2440按键驱动问题

TQ2440开发板上按键驱动实验时，查看原理图是外接上拉电阻，测试四个中断引脚电压发现EINT4是跟其他三个引脚不同（其他三个都是高电平，而EINT4是低电平），我将按键驱动去掉，重启后测量电压发现还是一样。
最后再通过硬件接线将EINT4换成EINT7引脚，也是一样的问题。

你看一下uboot的board/EmbedSky.c这个文件，里面有设置

根据版主的建议将UBOOT里面的GPF4也设置成了EINT模式，现在开始初始状态量取电压是高电平（正常）。但是，开机前就按下按键K2，再开机加载驱动，执行按键测试命令：
[root@EmbedSky /]# ./buttons                                                   
K1 is Up, K2 is Up, K3 is Up, K4 is Up,
却发现K2没有显示K2 is Down
这个是什么原因？

GPF4我们原来都有用的。也没有发现有这个问题啊。

求教版主，后来问题解决了吗，我也遇到了这个问题，求教求指导