[LinuxBIOS] indent