New build parameters and shared includes

This changes many files but I've just applied some replace commands.. So
- nothing special!

1 files changed, 5 insertions, 5 deletions

diff --git a/src/kernel/cmos/rtc.h b/src/kernel/cmos/rtc.h
index 6c2ba81..3e52793 100644
--- a/src/kernel/cmos/rtc.h
+++ b/src/kernel/cmos/rtc.h
@@ -3,11 +3,11 @@
 
 #include <stdint.h>
 
-uint8_t second;
-uint8_t minute;
-uint8_t hour;
-uint8_t day;
-uint8_t month;
+u8 second;
+u8 minute;
+u8 hour;
+u8 day;
+u8 month;
 unsigned int year;
 
 void read_rtc();