board/vpb: style fix
board/shared: style fix
board/shared: add ISR install to sp804_timer_enable