[OpenBIOS] [PATCH 1/2] kernel: avoid including C files from another