[LinuxBIOS] C style Formatting