Hotboards MX / Mbed 2 deprecated Hotboards_buttons_is_released

Dependencies:   Hotboards_buttons mbed