Inline kernel building, support for make 4.0, support for openjdk