Merge pull request #20 from simonkim/proto2

timer: multiple callbacks up to 8 per channel using timer_add_callback()...
Merge branch 'proto2' of https://github.com/kesl/khypervisor into vgic