Better messaging about which timer is used

src/arch/x86_64/device/mod.rs

@@ -37,8 +37,11 @@ unsafe fn init_hpet() -> bool {
 }
 
 pub unsafe fn init_noncore() {
-    if ! init_hpet() {
+    if init_hpet() {
+        println!("HPET used as system timer");
+    } else {
         pit::init();
+        println!("PIT used as system timer");
     }
 
     rtc::init();

src/arch/x86_64/device/pit.rs

@@ -14,6 +14,4 @@ pub unsafe fn init() {
     COMMAND.write(SELECT_CHAN0 | LOHI | 5);
     CHAN0.write((CHAN0_DIVISOR & 0xFF) as u8);
     CHAN0.write((CHAN0_DIVISOR >> 8) as u8);
-
-    println!("Using PIT");
 }