// Copyright 2017 plutoo
bool kernelAbove200(void);
bool kernelAbove300(void);
bool kernelAbove400(void);