Set ARM_TIMER_SP804
This came in with commit 0b7402dc, but it could not use the automated config script because the default config was invalid with our existing configs.
Signed-off-by: Justin M. Forbes jforbes@fedoraproject.org
This came in with commit 0b7402dc, but it could not use the automated config script because the default config was invalid with our existing configs.
Signed-off-by: Justin M. Forbes jforbes@fedoraproject.org