build: re-order library linking so libkernel links into libboard
kernel: add systimer to kernel
board/vpb + board/shared: add to sp804_timer driver